﻿module CodeCamp01.Events
{
  import CodeCamp01.BasicTypes;
    
  export Event;
  export Events;
    
  // types
  
  type Event
  {
    Id : Integer32 => AutoNumber();
    DisplayName : Text128;
    ShortName : Text32;
  }
    
  // extents
    
  Events : { Event* } where
    identity Id,
    unique DisplayName,
    unique ShortName;

  // values
    
  Events
  {
    PCC2010 { DisplayName => "Portland Code Camp 2010", ShortName => "2010" }
  }
    
}
